Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
421	Knowledge for atomic commit protocols Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:15:23 Information Two-phase commit protocol Three-phase commit protocol Atomic commit Atomic broadcast Modal logic Communications protocol Transaction processing Data Data management
422	Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Object-oriented programming Type theory Data types Programming paradigms Denotational semantics Modal logic Actor model Object-oriented design Method overriding Software engineering Computing Computer programming
423	What Underlies the Assessment of Conditionals? Clare Walsh ([removed]) Department of Psychology, Plymouth, PL48AA, UK. Uri Hasson ([removed]) Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:37:20 Causality Conditional statement Conditional probability Probability Necessity and sufficiency English modal verb Indicative conditional Counterfactual conditional Conditionals Logic Philosophical logic
424	Future-oriented Actuality Entailments: A Puzzle from Tagalog Henrison Hsieh, McGill University I NTRODUCTION : Actuality Entailments (AEs) of circumstantial modals are known to be tied to the presence of perfective aspec Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:18 Linguistic modality Perfective aspect Modal logic Perfect Auxiliary verb Verb Advanced Encryption Standard Possible world Logic Linguistics Grammatical aspect
425	Getting your to-do list under control: Imperative semantics and the grammar of intending Thomas Grano — Indiana University 0. Introduction: Control predicates can be divided into two classes depending on whether they d Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:12:49 Grammar Meaning Philosophical logic Human communication Control Predicate Subject Modal logic Language Logic Linguistics Semantics
426	Alleged Assassins Bjørn Jespersen & Giuseppe Primiero Department of Computer Science, Technical University of Ostrava & Department of Logic, Czech Academy of Sciences, Prague FWO & Centre for Logic and Philosophy of Sci Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-03 05:47:29 Modal logic Non-classical logic Transparent Intensional Logic Intensional logic Logic Philosophical logic Science
427	Hetero-Modal versus Homo-Modal Communication 1 Running head: HETERO-MODAL VERSUS HOMO-MODAL COMMUNICATION Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2013-03-14 17:22:51 Auxiliary verb Fact Logic Nature Yes and no English modal verb Cognition
428	Believe It or Not: Adding Belief Annotations to Databases Wolfgang Gatterbauer, Magdalena Balazinska, Nodira Khoussainova, and Dan Suciu Department of Computer Science and Engineering, University of Washington, Seattle, Add to Reading List Source URL: www.vldb.org Language: English - Date: 2009-07-27 10:29:02 Philosophical logic Database theory Relational model Binary operations Data management Tuple Finitary relation Stable model semantics Modal logic Logic Mathematics Science
429	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
430	Practical Reasoning with Proofs and Types Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-02-09 17:15:05 Mathematics Non-classical logic Epistemology Philosophy of mathematics Logic in computer science Intuitionism Natural deduction Realizability Modal logic Logic Mathematical logic Mathematical constructivism

UPDATE